Salva, Sebastien: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities

Salva, Sébastien, Zafimiharisoa, Stassia R.

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2015

Language:

english

File:

PDF, 2.72 MB

english, 2015

2

An approach for guiding developers in the choice of security solutions and in the generation of concrete test cases

Salva, Sébastien, Regainia, Loukmen

Journal:

Software Quality Journal

Year:

2019

Language:

english

File:

PDF, 2.23 MB

english, 2019

3

Model generation of component-based systems

Salva, Sébastien, Blot, Elliott

Journal:

Software Quality Journal

Year:

2020

File:

PDF, 2.53 MB

2020

4

[IEEE 2009 IEEE Symposium on Computers and Communications (ISCC) - Sousse, Tunisia (2009.07.5-2009.07.8)] 2009 IEEE Symposium on Computers and Communications - Testing robustness of communicating systems using ioco-based approach

Rollet, Antoine, Salva, Sebastien

Year:

2009

Language:

english

File:

PDF, 2.00 MB

english, 2009

5

[IEEE 2010 IEEE International Conference on Web Services (ICWS) - Miami, FL, USA (2010.07.5-2010.07.10)] 2010 IEEE International Conference on Web Services - WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition

Cavalli, Ana, Cao, Tien-Dung, Mallouli, Wissam, Martins, Eliane, Sadovykh, Andrey, Salva, Sebastien, Zaïdi, Fatiha

Year:

2010

Language:

english

File:

PDF, 922 KB

english, 2010

6

[IEEE 2010 IEEE International Conference on Web Services (ICWS) - Miami, FL, USA (2010.07.5-2010.07.10)] 2010 IEEE International Conference on Web Services - A BPEL Observability Enhancement Method

Salva, Sébastien, Rabhi, Issam

Year:

2010

Language:

english

File:

PDF, 119 KB

english, 2010

7

Emerging Trends in ICT Security || Detection of Intent-Based Vulnerabilities in Android Applications

Salva, Sébastien

Year:

2014

Language:

english

File:

PDF, 1.28 MB

english, 2014

8

[IEEE 2009 Second International Conference on Communication Theory, Reliability, and Quality of Service (CTRQ) - Colmar, France (2009.07.20-2009.07.25)] 2009 Second International Conference on Communication Theory, Reliability, and Quality of Service - Test Purpose Generation for Timed Protocol Testing

Salva, Sébastien, Rollet, Antoine

Year:

2009

Language:

english

File:

PDF, 838 KB

english, 2009

9

[IEEE 2010 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW) - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification, and Validation Workshops - A Preliminary Study on BPEL Process Testability

Salva, Sébastien, Rabhi, Issam

Year:

2010

Language:

english

File:

PDF, 419 KB

english, 2010

10

Conformance testing with ioco proxy-testers: application to web service compositions deployed in clouds

Salva, Sébastien, Laurençot, Patrice

Journal:

International Journal of Computer Aided Engineering and Technology

Year:

2015

Language:

english

File:

PDF, 494 KB

english, 2015

11

Regulation of Abd-B expression by Cyclin G and Corto in the abdominal epithelium of Drosophila

Juliette Salvaing, Emmanuèle Mouchel-Vielh, Sébastien Bloyer, Anette Preiss, Frédérique Peronnet

Journal:

Year:

2008

Language:

english

File:

PDF, 556 KB

english, 2008

12

[ACM Press the 9th ACM International Conference - Oslo, Norway (2015.06.29-2015.07.03)] Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems - DEBS '15 - Autofunk, a fast and scalable framework for building formal models from production systems

Salva, Sébastien, Durand, William

Year:

2015

Language:

english

File:

PDF, 916 KB

english, 2015

13

[IEEE 2016 IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA) - Agadir, Morocco (2016.11.29-2016.12.2)] 2016 IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA) - A classification methodology for security patterns to help fix software weaknesses

Regainia, Loukmen, Salva, Sebastien, Ecuhcurs, Cedric

Year:

2016

Language:

english

File:

PDF, 1.27 MB

english, 2016

14

Involvement of the MP1 scaffold protein in ERK signaling regulation during Drosophila wing development

Emmanuèle Mouchel-Vielh, Sébastien Bloyer, Juliette Salvaing, Neel B. Randsholt, Frédérique Peronnet

Journal:

Year:

2008

Language:

english

File:

PDF, 315 KB

english, 2008

15

Laser diode made single-mode by a self-adaptive photorefractive filter

Sébastien Maerten, Nicolas Dubreuil, Gilles Pauliat, Gérald Roosen, Daniel Rytz, Thierry Salva

Journal:

Optics Communications

Year:

2002

Language:

english

File:

PDF, 151 KB

english, 2002

16

[ACM Press the Fifth Symposium - Hanoi, Viet Nam (2014.12.04-2014.12.05)] Proceedings of the Fifth Symposium on Information and Communication Technology - SoICT '14 - Inferring models with rule-based expert systems

Durand, William, Salva, Sébastien

Year:

2014

Language:

english

File:

PDF, 1.20 MB

english, 2014

17

[IEEE 2010 Fifth International Conference on Internet and Web Applications and Services - Barcelona, Spain (2010.05.9-2010.05.15)] 2010 Fifth International Conference on Internet and Web Applications and Services - Stateful Web Service Robustness

Salva, Sébastien, Rabhi, Issam

Year:

2010

Language:

english

File:

PDF, 383 KB

english, 2010

18

[IEEE 2008 IEEE International Conference on Automation, Quality and Testing, Robotics - Cluj-Napoca, Romania (2008.05.22-2008.05.25)] 2008 IEEE International Conference on Automation, Quality and Testing, Robotics - Two complementary approaches to test robustness of reactive systems

Rollet, Antoine, Salva, Sebastien

Year:

2008

Language:

english

File:

PDF, 362 KB

english, 2008

19

A catalogue associating security patterns and attack steps to design secure applications

Salva, Sébastien, Regainia, Loukmen

Journal:

Journal of Computer Security

Year:

2018

Language:

english

File:

PDF, 803 KB

english, 2018

20

[IEEE 2010 Fifth International Conference on Software Engineering Advances (ICSEA) - Nice, France (2010.08.22-2010.08.27)] 2010 Fifth International Conference on Software Engineering Advances - An Approach Dedicated for Web Service Security Testing

Salva, Sebastien, Laurencot, Patrice, Rabhi, Issam

Year:

2010

Language:

english

File:

PDF, 1.24 MB

english, 2010

21

Polymersome Shape Transformation at the Nanoscale

Salva, Romain, Le Meins, Jean-François, Sandre, Olivier, Brûlet, Annie, Schmutz, Marc, Guenoun, Patrick, Lecommandoux, Sébastien

Journal:

Year:

2013

Language:

english

File:

PDF, 1.73 MB

english, 2013

22

[IEEE 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Austin, TX, USA (2015.9.21-2015.9.23)] 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Passive testing of production systems based on model inference

Durand, William, Salva, Sebastien

Year:

2015

Language:

english

File:

PDF, 356 KB

english, 2015

23

[IEEE 2013 Information Security for South Africa - Johannesburg, South Africa (2013.08.14-2013.08.16)] 2013 Information Security for South Africa - Data vulnerability detection by security testing for Android applications

Salva, Sebastien, Zafimiharisoa, Stassia R.

Year:

2013

Language:

english

File:

PDF, 827 KB

english, 2013

24

[IEEE 2009 Fourth International Conference on Internet and Web Applications and Services - Venice/Mestre, Italy (2009.05.24-2009.05.28)] 2009 Fourth International Conference on Internet and Web Applications and Services - Automatic Ajax Application Testing

Salva, Sébastien, Laurençot, Patrice

Year:

2009

Language:

english

File:

PDF, 410 KB

english, 2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски